Hermite and Smith normal form algorithms over Dedekind domains
نویسندگان
چکیده
منابع مشابه
Hermite and Smith normal form algorithms over Dedekind domains
We show how the usual algorithms valid over Euclidean domains, such as the Hermite Normal Form, the modular Hermite Normal Form and the Smith Normal Form can be extended to Dedekind rings. In a sequel to this paper, we will explain the use of these algorithms for computing in relative extensions of number fields. The goal of this paper is to explain how to generalize to a Dedekind domain R many...
متن کاملEfficient parallelizations of Hermite and Smith normal form algorithms
Hermite and Smith normal form are important forms of matrices used in linear algebra. These terms have many applications in group theory and number theory. As the entries of the matrix and of its corresponding transformation matrices can explode during the computation, it is a very difficult problem to compute the Hermite and Smith normal form of large dense matrices. The main problems of the c...
متن کاملA Note to Hermite and Smith Normal Form Computation
Hermite normal form and Smith normal form are canonic forms of integral matrices with respect to congruence produced by multiplication with right unimodular matrix resp. by multiplication with left and right unimodular matrix simultaneously. This lower-diagonal resp. diagonal form has many applications in various elds. Unfortunately, the computation of them is extremely resource consuming. The ...
متن کاملHermite Normal Form
The Hermite Normal Form is a canonical matrix analogue of Reduced Echelon Form, but involving matrices over more general rings. In this work we formalise an algorithm to compute the Hermite Normal Form of a matrix by means of elementary row operations, taking advantage of the Echelon Form AFP entry. We have proven the correctness of such an algorithm and refined it to immutable arrays. Furtherm...
متن کاملProjective Modules over Dedekind Domains
In these notes we will first define projective modules and prove some standard properties of those modules. Then we will classify finitely generated projective modules over Dedekind domains Remark 0.1. All rings will be commutative with 1. 1. Projective modules Definition 1.1. Let R be a ring and let M be an R-module. Then M is called projective if for all surjections p : N → N ′ and a map f : ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1996
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-96-00766-1